propositional logic examples and solutions